Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes (...) a framework that takes visibility, memory, perspective and communication as the main factors underpinning mental attributions. This is more in-line with findings in cognitive science and allows us to model well-known False-Belief Tasks that are typically used in testing people's ToM. We discuss some of the framework's technical features, arguing why it does justice to empirical observations. (shrink)

We investigate dynamic operations acting over a knowing how logic. Our approach makes use of a recently introduced semantics for the knowing how operator, based on an indistinguishability relation between plans. This semantics is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the semantics enables us to define dynamic modalities representing different ways in which an agent can learn how to achieve a goal. In this regard, we study (...) two types of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties). (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued (...) that solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...) logics. (shrink)

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions (...) of both an abductive problem in terms of an agent’s information and an abductive solution in terms of the actions that modify the agent’s information. We look at diverse kinds of agents, including not only omniscient ones but also those whose information is not closed under logical consequence and those whose reasoning abilities are not complete. In the second part, we look at an existing logical framework whose semantic model allows us to interpret the previously stated formulas, and we define two actions that represent forms of abductive reasoning. (shrink)

This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ; then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold (...) strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects. (shrink)

In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...) abstract argumentation framework, extending it to a new setting in which we can study the formal properties of binary arguments as well as the larger structures they establish. This paper introduces a formal ‘two-dimensional’ language to talk about propositions and arguments, for which a sound and complete axiom system is provided. (shrink)

This manuscript presents a topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief. Our framework relies on so-called topological evidence models to represent the pieces of evidence that an agent has at her disposal, and it uses abstract argumentation theory to select the pieces of evidence that the agent will use to define her beliefs. The tools from abstract argumentation theory allow us to model agents who make decisions in the presence of contradictory information. Thanks to this, it (...) is possible to define two new notions of beliefs, grounded beliefs and fully grounded beliefs. These notions are discussed in this paper, analysed and compared with the existing notion of topological justified belief. This comparison revolves around three main issues: closure under conjunction introduction, the level of consistency and their logical strength. (shrink)

The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, (...) the logics presented are all simple refinements of the logic of public announcements. (shrink)

Belief revision is concerned with belief change fired by incoming information. Despite the variety of frameworks representing it, most revision policies share one crucial feature: incoming information outweighs current information and hence, in case of conflict, incoming information will prevail. However, if one is interested in representing the way actual humans revise their beliefs, one might not always want for the agent to blindly believe everything they are told. This manuscript presents a semantic approach to non-prioritized belief revision. It uses (...) plausibility models for depicting an agent’s beliefs, and model operations for displaying the way beliefs change. The first proposal, semantically-based screened revision, compares the current model with the one the revision would yield, accepting or rejecting the incoming information depending on whether the ‘differences’ between these models go beyond a given threshold. The second proposal, semantically-based gradual revision, turns the binary decision of acceptance or rejection into a more general setting in which a revision always occurs, with the threshold used rather to choose ‘the right revision’ for the given input and model. (shrink)

The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of (...) intervention operates on the valuation of the variables in a causal model, and not on their functional dependencies. (shrink)

Communication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, (...) we compare partial communication with the public announcement and arrow update settings in terms of both language-expressivity and update-expressivity. Regarding the former, the three settings are equivalent, their languages being equally expressive. Regarding the latter, all three modes of communication are incomparable in terms of update-expressivity. In the second part, we shift our attention to strategic topic-based communication. We do so by extending the language with a modality that quantifies over the topics the agents can ‘talk about’, thus allowing a form of arbitrary partial communication. For this new framework, we provide a complete axiomatisation, showing also that the new language’s model checking problem is PSPACE-complete. Finally, we argue that, in terms of expressivity, this new language of arbitrary partial communication is incomparable to that of arbitrary public announcements and also to that of arbitrary arrow updates. (shrink)

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different (...) needs. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and (...) hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ' awareness' set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ' dynamification' of existing awareness logics. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, (...) thus highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

This paper introduces and studies a notion of cautious distributed belief. Different from the standard distributed belief, the cautious distributed belief of a group is inconsistent only when all group members are individually inconsistent. The paper presents basic results about cautious distributed belief, investigates whether it preserves properties of individual belief, and compares it with standard distributed belief. Although both notions are equivalent in the class of reflexive models, this is not the case in general. While we argue that an (...) understanding of the concept of cautious distributed belief from first principles is important, cautious distributed belief can be expressed using standard distrbuted belief and we show that the propositional language extended only with cautious distributed belief is in fact strictly less expressive than the propositional language extended only with standard distributed belief. We, finally, identify a small extension of the language making the former as expressive as the latter. (shrink)

The paper proposes a logical framework representing the notion of explicit knowledge as the combination of awareness of and awareness that. The setting, semantically combining neighbourhood models with ideas from awareness logic, separates the mere fact of entertaining some information (being aware of $\varphi$) from the acknowledgement that the information is indeed the case (being aware that $\varphi$ holds). The text discusses not only the main properties these concepts obtain under the given representation, but also several of the epistemic (...) actions that can be defined, and the way they affect the agent’s awareness (and thus her knowledge). (shrink)

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, (...) usually separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and hence (...) we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ‘awareness’ set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ‘dynamification’ of existing awareness logics. (shrink)

Morality is a normative system of guidance that figures into practical reason by telling people what to do in various situations. The problem, however, is that morality has inherent gaps that often render it inefficacious. First, it may be indeterminate due to the high level of generality in which its principles are formulated. Second, moral terms such as ‘good’ and ‘right’ may be so vague that they fail to specify the requisite behavior. And third, its subjective aspect, which is a (...) product of personal experience, generates moral disagreement and thereby creates coordination problems that frustrate society’s collective moral aims. The objective of this article is to advance the thesis that morality must sometimes depend on law as a supplementary source of practical reason, a dependence which can be explained in terms of three essential features of law: its institutional character, its claim to authority, and its status as a second-order exclusionary reason for action. It shall then be explained how these three features enable law to make difficult decisions on behalf of individuals, define objective standards of conduct, and solve coordination problems, respectively, and in doing so, manage to fill in the gaps of morality mentioned above. Hence, it will be argued that law is also a normative system that helps people achieve their moral aims, notwithstanding the fact that it guides human behavior through a different logic and mode of operation from those of morality. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...) logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

The article discusses the problems of philosophical geography, philosophical multipolarity, georationality. The debates on these issues are becoming interdisciplinary. Specialists in Eastern philosophies and cross-cultural communications as well as epistemologists, scientific methodologists, cognitive scholars, synergists became participants of the discussion held at the Institute of Philosophy of the Russian Academy of Sciences. The problem of Eurocentrism in academic philosophy has become the main topic of discussion. The opponents of the “regional” multipolarity argued that the Western European tradition of rationality (...) was an example of the rationality per se. The proponents, who relied heavily on the ad professionem arguments, advocated multipolarity and demonstrated the irreducibility of the world-pictures, languages and ontologies of philosophical systems. A point of view was expressed that Eurocentrism had an ideological background. The disputants noted that there was need to redefine or clarify such fundamental concepts as logic, rationality, scientific rationality, universalism, processuality. The redefinition of the concept of rationality is for the studies of various types of rationality outside European cultures. Methodologists of science drew attention that the cognitive problems of intercultural communications turned out to be similar to the problems faced by theory of complexity. The analysis of philosophical, logical and other cases in various “zones of exchange” reveals a plurality of directions in the global and local socio-cultural spaces. The panelists raised the question of the role of philosophy in the global world and its responsibility in uniting nations. The authors of the article draw attention to many functions that the Western European conceptual system performs in the formation of philosophical language, mentality and communication. The dynamics of philosophical discussions, the dialogue of the West and the East lead to the clarification of philosophical positions, the emergence of new concepts and meanings as well as the formation of discourses of the future. (shrink)

El artículo tiene por objeto analizar la construcción del conocimiento mapuche según el discurso de kimches. Sostenemos que en la educación familiar existe un proceso de construcción de conocimientos propios como un sistema de saberes y contenidos educativos para la formación de personas. La metodología empleada es la investigación educativa. Los resultados parciales muestran una descripción acerca de la lógica de los conocimientos educativos propios, para contextualizar la enseñanza y el aprendizaje de las ciencias en el medio escolar, desde la (...) educación intercultural en contexto mapuche. The aim of this article is to analyze the construction of Mapuche knowledge based on the kimches speech. We argue that within family education, there exists a process of constructing their own knowledge, as a system of knowledge and educational contents for forming individuals. The research methodology applied corresponds to education research. Preliminary results describe the logic of individual educational knowledge from intercultural education in the Mapuche context, so as to contextualize the teaching and learning of Science in schools. (shrink)

DNA methylation constitutes one of the pillars of epigenetics, relying on covalent bonds for addition and/or removal of chemically distinct marks within the major groove of the double helix. DNA methyltransferases, enzymes which introduce methyl marks, initially evolved in prokaryotes as components of restriction‐modification systems protecting host genomes from bacteriophages and other invading foreign DNA. In early eukaryotic evolution, DNA methyltransferases were horizontally transferred from bacteria into eukaryotes several times and independently co‐opted into epigenetic regulatory systems, primarily via establishing connections (...) with the chromatin environment. While C5‐methylcytosine is the cornerstone of plant and animal epigenetics and has been investigated in much detail, the epigenetic role of other methylated bases is less clear. The recent addition of N4‐methylcytosine of bacterial origin as a metazoan DNA modification highlights the prerequisites for foreign gene co‐option into the host regulatory networks, and challenges the existing paradigms concerning the origin and evolution of eukaryotic regulatory systems. (shrink)

Bradley is often described as an Anglo-Hegelian, and hence it is assumed that his doctrines derive from Hegel. It is true that his first two works ‘The Presuppositions of Critical History’ and Ethical Studies are heavily influenced by Hegel. The Principles of Logic is much less so: it certainly contains a number of both laudatory and critical references to Hegel, but the whole design of the book is completely unrelated to his treatment of logic. Appearance and Reality seems (...) to me not to be Hegelian at all. The interesting logical discussions occur in the Principles , and it is here that we can find points of comparison between Bradley and Frege and Russell. This is in part because all three were agreed that it was impossible to account for logic by reference to psychology. Bradley's doctrine of internal relations first emerges in this context, though it is given a more metaphysical interpretation in the subsequent Appearance and Reality . However, most who have talked of internal relations have taken their view from the latter work, and have found the doctrine either confused or silly. This quotation from Appearance and Reality seems to bring out all that is objectionable in the view: And if you could have a perfect relational knowledge of the world, you could go on from the nature of red-hairedness to these other characters which qualify it, and you could from the nature of red-hairedness reconstruct all the red-haired men. In such perfect knowledge you could start internally from any one character in the Universe, and you could from that pass to the rest…For example, a red-haired man who knew himself utterly would and must, starting from within, go on to know everyone else who had red hair, and he would not know himself until he knew them. But, as things are, he does not know how or why he himself has red hair, nor how and why a different man is also the same in that point, and therefore, because he does not know the ground, the how and why, of his relation to other men, it remains for him relatively external, contingent, and fortuitous. But there is really no mere externality except in his ignorance. (shrink)

As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

On 22 July, 2011, we were confronted with the horror of the actions of Anders Behring Breivik. The instant reaction, as we have seen with similar incidents in the past—such as the Oklahoma City bombings—was to attempt to explain the incident. Whether the reasons given were true or not were irrelevant: the fact that there was a reason was better than if there were none. We should not dismiss those that continue to cling on to the initial claims of a (...) wider Jihadist plot behind the actions of Timothy McVeigh and Terry Nichols as Islamophobes (or merely lacking common sense): for, it is often easier to rely on reason—no matter how fictional—than not to have anything to cling on at all. In many ways, it is even better if the reason is fictional: for, if grounded in a certain fact, or reality, it can then go away. However, if it is in the realm of the imaginary, it is then always already metaphorical: thus, can be applied to any and every situation. And it is this, if we echo Friedrich Nietzsche, that gives us our “metaphysical comfort”; that we can know what is going on. This is why conspiracy theories are so popular: underlying them is the logic that someone—no matter how implausible—is in control of the situation. One would rather believe that all acts of terror stemmed from Osama bin Laden (and the narrative worked even better when he was in a ‘cave in Afghanistan’) than if they were the actions, and decisions, of singular individuals. For, if there is a head organizing everything, it can be cut off; there is no controlling a mass of singularities. As Jean Baudrillard continues to teach us, the term ‘mass’ is not a concept. It is a leitmotif of political demagogy, a soft, sticky, lumpen-analytical notion. A good sociology would attempt to surpass it with ‘more subtle’ categories: socio-professional ones, categories of class, cultural status, etc. This is wrong: it is by prowling around these soft and acritical notions (like ‘mana’ once was) that one can go further than intelligent critical sociology. Besides, it will be noticed retrospectively that the concepts ‘class’, ‘social relations’, ‘power’, ‘status’, ‘institution’, and ‘social’ itself—all these too-explicit concepts which are the glory of the legitimate sciences—but also only ever been muddled notions themselves, but notions upon which agreement has nevertheless been reached for mysterious ends: those of preserving a certain code of analysis. To want to specify the term ‘mass’ is a mistake—it is to provide meaning for that which has none.1 And it is this lack of meaning—this nothingness of not only the mass, but our inability to know in general—that truly scares us. For, if we are never able to legitimately make a generalizing statement, this suggests that we can never actually posit beyond a singular, situational, moment. Hence, we can never claim to know anyone: at best, we can only catch momentary glimpses. It is for this very reason that the insanity plea Breivik’s lawyer will attempt is the one that horrifies us the most. For, if Breivik is insane, this foregrounds our inability to understand, know. And as Aristotle has taught us, it is more important that something is plausible than if something were probable—in this context, we would rather have Breivik as a calculating mass murderer than someone who was completely out of his mind. This is especially ironic in the light of the fact that none of us would say that we have any similarity with Breivik. If that were so, the declaration that he was mad should be no more than a logical consequence. However, we also want Breivik to be accountable for his actions. And in order for that to be so, we need him to be of sound mind. But if that were true, we can then no longer distinguish ourselves from him. And it is precisely this that scares us. For, we are horrified not when there are abnormalities to our way of life. There are usually two different reactions to this—either oppose and destroy it; or subsume it under the dominant logic. We see this most clearly in reactions to immigration: there are either calls for immigrants to ‘pack up and leave’ or pseudo-liberal notions of ‘we are all alike’. Both of which are merely version of “all men are brothers”—the brutal translation of which is that you are my brother if you live the same way as me; otherwise not only are you not my brother, you are also potentially not part of mankind (you might as well be, to echo Giorgio Agamben, bare life ). This is played out in our age of what is commonly termed post-political bio-politics —an instance of horribly awkward theoretical jargon that Slavoj Žižek channeling Agamben unpacks rather elegantly: “ post-politics is a politics which claims to leave behind old ideological struggles and, instead, focus[es] on expert management and administration, while bio-politics designates the regulation of the security and welfare of human lives as its primary goal.”2 Žižek continues: Post-political bio-politics also has two aspects which cannot but appear to belong to two opposite ideological spaces: that of the reduction of humans to ‘bare life,’ to Homo sacer , that so-called sacred being who is the object of expert caretaking knowledge, but is excluded, like prisoners at Guantanamo or Holocaust victims, from all rights; and that of respect for the vulnerable Other brought to an extreme through an attitude of narcissistic subjectivity which experiences the self as vulnerable, constantly exposed to a multitude of potential harassments [….] What these two poles share is precisely the underlying refusal of any higher causes, the notion that the ultimate goal of our lives is life itself. That is why there is no contradiction between the respect for the vulnerable Other and […] the extreme expression of treating individuals as Homini sacer .3 This is why the ones that are harshest towards new immigrants are the recently naturalized citizens of any country. For, if there is no longer any “ideological struggle” and all life is reduced to mere automaton-living, there is the realization that we are all the same—not in a tree-hugging hippie sense—but that the immigrant is the same as us precisely because we are all immigrants. And since all nations, and by extension peoples in a nation (especially those who believe in the notion of nationality, and national identity), have to find some manner, no matter from where or what it is, to distinguish themselves from those around them, the other (in spite, and especially in the light, of its absence) is the most crucial aspect of the discourse of nationality. More precisely, in the interests of what Baudrillard calls “preserving a certain code of analysis” (nationality in this case), what has to be maintained is the absolute otherness of the other. Very rarely is Boris Johnson right: “it is not enough to say he is mad. Anders Breivik is patently mad.”4 However, much like Breivik in his manifesto, he should have stopped whilst he was ahead. By attempting to diagnose Breivik—“the fundamental reasons for their callous behavior lie deep in their own sense of rejection and alienation. It is the ideology that gives them the ostensible cause … that gives them an excuse to dramatize the resentment … and to kill.”—Johnson falls into the same trap that he accuses others of: “to try to advance any other explanation for their actions … is simply to play their self-important game.” More crucially, and this is the point that Johnson completely misses, attempting to rationalize Breivik’s actions—to rehabilitate reason—is a desperate attempt at maintaining his otherness. In fact, we’ll end up going one step further, insist on Breivik’s sanity, put him on the stand, and hope that he will display such a difference from all of us that we can rest safe that we are unlike him and his kind. That, in itself, is a dangerous game to play. One should not forget that the turning point in Mary Shelley’s Frankenstein is in the central part of her novel where she lets the monster speak. At that moment, the monster moves from an ‘it’ to a fully subjectivized person; with his own stories, historicities, emotions, and so on. In Slavoj Žižek’s reading of Frankenstein , this is the moment where “the ultimate criminal is thus allowed to present himself as the ultimate victim. The monstrous murderer reveals himself to be a deeply hurt and desperate individual, yearning for company and love.”5 But, in the case of Breivik, this goes beyond just a risk of us feeling for him: for, no right-minded person should ever deny another the opportunity to put forth her or his own case. The problem lies with us trying to deny the madness of Breivik’s act by putting him back under reason. The problem is in our inability to differentiate the act from the person; the singular from the universal.6 In our desperation to preserve the notion that we are rational beings incapable of becoming monsters, we’ve had to deny the meaninglessness—in the strict sense of it lying outside of reason—of Breivik’ act; we’ve had to “provide meaning where there is none.” For, if this act were a moment of madness—a moment that comes from elsewhere—we cannot say that it will not descend upon us one day. If Breivik’s actions were that of a sane person, one who is in control of his being, his self, we can then locate the otherness in his being. More importantly, this would allow us to distinguish ourselves from that said being. Breivik’s sanity is the only thing that allows us to say that ‘this act of terror is borne out of one with an ultra-right ideology’; and ‘since I am not of that ideology, I would never do such a thing’. By doing that, we attempt to protect ourselves by claiming that people who share Breivik’s ideology are foreign to us, other to us. However, if Breivik’s act was a moment of insanity, his otherness is no longer locatable: and the notion of ‘us and them’ shifts from a geographical, physical, religious, or cultural notion, to one in the realm of ideas. And this is what truly scares us. For, if what is foreign is not phenomenological, then it cannot be seen, detected, sensed. Anders Behring Breivik, Timothy McVeigh, and Terry Nichols, terrify us not merely for the fact that they were white in a white society, but more pertinently that their skin color did not matter: we would not be able to spot them even if they were blue, even if they were right next to us, even if we had known them all our lives. Even as we are grappling with holding Breivik accountable by declaring him of sound mind, what truly terrifies us is that deep down we know that Breivik’s act is a moment of madness; beyond all comprehensibility. And this means that we would not be able to spot the idea; even if it were in our heads at this very moment. We have gone to lengths to rehabilitate Breivik, McVeigh, Nichols, and such perpetrators of massive incomprehensible violence, in order to preserve our difference from them. What we have really been trying to deny is the fact that everyone, at any given moment, could have a moment of madness. And this is the true radicality of Mary Shelley: in allowing us to momentarily enter the head of the monster, she shows us not just the fact that he is like any one of us, but that any one of us could, in the right (or wrong) circumstance, be like him. Perhaps here, there is a lesson to be learned from Wes Craven’s A Nightmare on Elm Street . The most dangerous thing that one could do on Elm Street was to mention Freddy’s name—once you had knowledge of him, you were open to the possibility of a visit during your dreams. This suggests that Freddy is a combination of externalities (after all, when you die, he survives) and your self (if you have never heard of him, he cannot come for you). In this sense, Freddy would be the manifestation par excellence of what Avital Ronell calls a “killer text”—it is one’s relationality with the text (and the ideas, notions, in the said text) that opens oneself to it, to the lessons of the text, to being changed, affected, even to the dangers of the text. After all, one should never forget Plato’s warning that ideas can corrupt, can be perilous. To compound matters, as Ronell reminds us, “the connection to the other is a reading—not an interpretation, assimilation, or even a hermeneutic understanding, but a reading.”7 Thus, in attempting to differentiate ourselves from Breivik by concocting some reason(s) why we are not like him, we have done nothing but read him, open a connection to him. *** Bang bang, he shot me down Bang bang, I hit the ground Bang bang, that awful sound Bang bang, my baby shot me down. “Bang Bang (My Baby Shot Me Down)” Sonny Bono, 1966. This is the part that we all know and remember. Whilst never quite remembering that this is a song that is not so much about violence, love, but about remembering. For, after the bridge comes the accusatory stanza: “Now he's gone, I don't know why/ And till this day, sometimes I cry/ He didn't even say goodbye/ He didn't take the time to lie.” Bang Bang is a game that the two lovers used to play; and all she has now is the memory of the game to remember him by. And the only reason she has to recall this game is: he never provided her a reason for his leaving, his death. Not that she will, can, ever get that satisfactory answer. This is precisely the game we are playing with Anders Behring Breivik. Even though he has left a 1500 page manifesto, even though we will allow him to use the court-room as his platform, we will continue screaming at him “tell me why …” For, what we want him to say is that we are not like him: what we really want him to do is, “take the time to lie …” Perhaps here, we should allow the echo of the infans to resound in baby . As Christopher Fynsk reminds us, the infans is one that is pre-language, pre-knowing, pre-understanding: it is the very finitude, and exteriority, of relationality itself.8 And thus, it is a position of openness to the fullness of possibility—and nothing else. This would be, in Ronell’s terms, a “connection to the other” that knows nothing other than the fact that it is a connection. The true horror of 22 July, 2011, is the fact that it is not Anders Behring Breivik who is mad, but the act itself that is. And this is precisely why only “my baby” that could have “shot me down.” For, it is an act that is from beyond, a sheer act of madness that—as Plato warns us—is whispered into our ears (and can so easily be mistaken for inspiration, and even wisdom), an act that can both seize, and cease, us at the same time. And what can this utter openness to an other, the other, be but a moment of love, a true ‘falling in love’. At the moment of whispering, nothing can be known as we are babies as our baby shoots us down …. Hence, all attempts at analyzing this event (including this one) are not only futile, but border on the farcical. The real tragedy is that we forget that all of us have the possibility of becoming Breivik. NOTES Jean Baudrillard. In the Shadow of the Silent Majorities . Trans. Paul Foss, John Johnston, Paul Patton, & Andrew Berardini. Los Angeles: Semiotext(e), 2007. p. 37. Slavoj Žižek. Violence: Six Sideway Reflections . London: Profile Books, 2009. p. 34 Ibid: 35-36. Boris Johnson. “ Anders Breivik: There is nothing to study in the mind of Norway’s mass killer .” The Telegraph . (25 July, 2011): Slavoj Žižek. Violence: Six Sideway Reflections . London: Profile Books, 2009. p.39. What is killing us is the notion that Breivik’s act is beyond reason, beyond knowing, outside understanding itself. This is why Boris Johnson’s plea was for us to ignore Breivik as a madman. But to do so, Johnson conflates the notion of the act and the person; the singular and the universal. This is exactly the same gesture as insisting on his sanity: the ‘madman’ is merely the absolute other, one that we are not. Avital Ronell. The Telephone Book: Technology, Schizophrenia, Electric Speech . Lincoln: University of Nebraska Press, 1989: 380. Christopher Fynsk. Infant Figures: The Death of the Infans and Other Scenes of Origin . Stanford, CA: Stanford University Press, 2000.  . (shrink)

This paper criticizes the emphasis placed by contemporary social theory and political philosophy on institutionalism as the basis for the understanding, legitimation and changing of institutions, or social systems, and society as a whole. The more impactful characteristic of institutionalism is its technical-logical structuring, based on an impartial, neutral and formal proceduralism that autonomizes social systems in relation to political praxis and social normativity, depoliticizing these social systems. Here, they are no longer depoliticized, but assume political centrality as the fundamental (...) social subjects of the legitimation and evolution of institutions and society. The paper’s central argument is that it is necessary to re-politicize the institutions and the social subjects or social classes in order to ground and streamline a direct political praxis and the civil society’s social-political subjects as the basis for framing and legitimizing the current process of Western modernization. Recovering the politicity and the carnality of institutions, of social classes and of the evolution of society, is the fundamental task for a contemporary critical social theory that faces the strong institutionalism based on systemic theory. Such politicization is the unforgettable teaching of Karl Marx and Erich Fromm: the institutions have political content and political subjects, they are the result of social struggles for hegemony between opposed social classes which are political. Now, such politicity-carnality must be unveiled and used for an emancipatory democratic political praxis as the route for social analysis and political change, in opposition to the technical-logical understanding both of the institutions and of the social subjects. (shrink)

We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can (...) be also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question. (shrink)

In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably structured according (...) to the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)

We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and (...) with modalities for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes. (shrink)

This book gathers case studies presented at the International Conference on Responsible Research and Innovation in Science, Innovation and Society. It highlights European initiatives and projects in various domains and contexts, each of which explores how to create guidelines and good practices for Responsible Research and Innovation and how to promote them among citizens, industry stakeholders, policy and decision makers, research funders and educational institutions to foster their adoption as a potential benchmark in establishing RRI processes. Further, the book discusses (...) gender and ethical issues, which are highly relevant for RRI initiatives in connection with representativeness, risks and in some cases, minority rights. (shrink)

The success of political efforts to create a more open economy in Brazil over the past decade has depended crucially on support from the industrial sector, which long enjoyed the benefits of protection by the state from economic competition. Why businesses previously so sheltered would back neoliberal reform, and why opposition arose at times from sectors least threatened by free trade, are the puzzles this book seeks to answer. Drawing on more than one hundred interviews with industrialists and business association (...) representatives, as well as a wide range of other sources, Peter Kingstone argues that the key to understanding the behavior of industrialists lies in the impact of four factors on their preferences for reform: the effect of economic crisis on industrialists' perception of the viability of the earlier development model; the sectoral location of their firms in the economy and the advantages historically accruing therefrom; the adjustment options available to them given their position in the market; and the credibility of the government's promises about reform and its tactical choices for getting them implemented through the political system. The mix of these four factors, Kingstone shows, left business preferences relatively malleable and thus available for support of reform, even in the face of potentially high costs. Whether such support was forthcoming depended on industrialists' perceptions of the ability of government leaders to deliver on their promises. Widespread resistance to reform occurred when leaders lost their credibility. Under Fernando Collor's leadership, that credibility was never recovered; under Fernando Henrique Cardoso's, it was recovered through increasing concessions to industrialists on the character of the reform program. (shrink)

This article takes its point of departure in a stance found among practitioners – including teachers, preschool teachers, kindergarten pedagogues and other welfare professionals – in which theory is considered abstract and thus irrelevant to or unhelpful in their daily work. In exploring the backgrounds of this stance, I address the issue at two levels: one that focuses on the professional identities, cultural logics and communicative norms of kindergarten staff groups in their actual, contemporary context; and another that focuses on (...) aspects connected to the reception of Donald Schön’s concept of ‘the reflective practitioner’. The analytical and methodological perspectives in the article are informed by the anthropology of education; specifically, by focusing on meaning-making processes and their consequences. In my approach to the concept of the reflective practitioner, I use a Bourdieu-inspired perspective; here, the social actor’s practical sense and tacit knowledge are related to questions of power and other actors’ strategies for positioning themselves within a social space. In doing so, they produce professional identities, ideals of communication, and colleague relationships. Here, the point of departure is that questions concerning ‘reflective practitioners’ and ‘tacit knowledge’ cannot rely solely on theoretical arguments but should be empirically informed by studies of practices as they unfold in pedagogical institutions. This article analyses the field by investigating these concepts and examining the cultural logics that make such interpretations possible and meaningful. Furthermore, I point to a problematic aspect of Schön’s work with regard to his empirical basis, which demands a particular focus on the historical effect of ‘the reflective practitioner’ concept as a symbolic marker of identity in the cultural logic of the pedagogical field. I also address how this logic considers practice to be the exponent of all that is good, meaningful and correct. From my analysis, I develop the concept of ‘the reflective methodologists’ to describe a professional identity and practice that relies on the critical examination of specific actions instead of ‘tacit knowledge’. (shrink)

Resumo: Apresenta-se, neste texto, a perspectiva de uma crítica da modernidade, por parte do pensamento indígena brasileiro, a partir da sua denúncia da modernização como movimento expansivo totalizante que tem, na imbricação de eurocentrismo-colonialismo-racismo e/como fascismo, seu núcleo estruturante e dinamizador. Defende-se a proposta de um pensamento-práxis indígena que oferece uma explicação alternativa da modernização, enquanto guerra de colonização calcada no racismo estrutural e tendo como consequência o etnocídio-genocídio planificado, o qual também propõe um papel epistêmico-político-normativo aos indígenas, por eles (...) e desde suas formas de ser e estar no mundo, a saber, pacificar o branco. Com isso, inverte-se uma tripla lógica da modernidade: a modernidade como uma perspectiva endógena, autorreferencial e autossubsistente; a modernidade como movimento expansivo linear e reto, rumo ao universalismo pós-tradicional - e como universalismo pós-tradicional - via racionalidade cultural-comunicativa; e a modernidade como a condição exclusiva e necessária da crítica da modernização, da crítica do outro da modernidade e do sustento de uma noção universal de direitos humanos, os quais os outros da modernidade não conseguiriam gerar e nem sustentar.: We develop the perspective of a criticism of modernity by Brazilian Indigenous thinking, from its denounce of modernization as an expansive and totalizing movement that has in the imbrication of eurocentrism-colonialism-racism and/as fascism its structuring and streamlining core. We will argue the proposal of an Indigenous thinking-praxis that offers and alternative explanation of modernity as war of colonization based on structural racism and having as consequence the institutional ethnocide-genocide against Indigenous and Blacks; and also that proposes an epistemic-political-normative role to Indigenous since their forms of being in the world, that is, to pacify the White man. Therefore, we have the inversion of a triple logic of modernity: the modernity as an endogenous, self-referential and self-subsistent perspective; the modernity as a lineal and direct expansive movement towards post-traditional universalism - and as post-traditional universalism - from cultural-communicative rationalization; and the modernity as the exclusive and necessary condition for the criticism of modernity, for the criticism of the others of modernity and for the basement of an universal notion of human rights, tasks that the others of modernity cannot generate or sustain. (shrink)